Class diversity support in object-oriented languages

نویسنده

  • Alexander Romanovsky
چکیده

representation of internal version state Correct_State Give_State state of version 1 state of version 2 state of version 3 Give_State Give_State Correct_State Correct_State Figure 2. Faulty version recovery based on the intermediate state representation. We can envisage several approaches to presenting the internal states of different versions in a uniform way. One idea is to use components of only basic types (e.g. real, integer, boolean, string) which are kept in some record types known to all version programmers. Another approach could be to use the internal data of one of the versions as this intermediate data representation. Finally, a unified class could be

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Theory of Tagged Objects

Foundational models of object-oriented constructs typically model objects as records with a structural type. However, many object-oriented languages are class-based; statically-typed formal models of these languages tend to sacrifice the foundational nature of the record-based models, and in addition cannot express dynamic class loading or creation. In this paper, we explore how to model static...

متن کامل

A Theory of Tagged Objects

Foundational models of object-oriented constructs typically model objects as records with a structural type. However, many object-oriented languages are class-based; statically-typed formal models of these languages tend to sacrifice the foundational nature of the record-based models, and in addition cannot express dynamic class loading or creation. In this paper, we explore how to model static...

متن کامل

A Theory of Tagged Objects

Foundational models of object-oriented constructs typically model objects as records with a structural type. However, many object-oriented languages are class-based; statically-typed formal models of these languages tend to sacrifice the foundational nature of the record-based models, and in addition cannot express dynamic class loading or creation. In this paper, we explore how to model static...

متن کامل

Comparison of Performance in Image Classification Algorithms of Satellite in Detection of Sarakhs Sandy zones

Extended abstract 1- Introduction Wind erosion as an “environmental threat” has caused serious problems in the world. Identifying and evaluating areas affected by wind erosion can be an important tool for managers and planners in the sustainable development of different areas.  nowadays there are various methods in the world for zoning lands affected by wind erosion. One of the most important...

متن کامل

A Framework for Adding Design by ContractTM to the .NET Object-Oriented Programming Languages

Design contracts can be used in software development to ensure the preservation of assertions for program correctness. This can increase reliability in software design. Design by ContractTM (DBC) was developed by Bertrand Meyer and is supported by the Eiffel programming language. Eiffel provides support for checking preconditions, postconditions, and class invariants automatically at runtime. E...

متن کامل

Declarative Semantics in Object-Oriented Software Development - A Taxonomy and Survey

One of the modern paradigms to develop an application is object oriented analysis and design. In this paradigm, there are several objects and each object plays some specific roles in applications. In an application, we must distinguish between procedural semantics and declarative semantics for their implementation in a specific programming language. For the procedural semantics, we can write a ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Journal of Systems and Software

دوره 48  شماره 

صفحات  -

تاریخ انتشار 1999